/*
 * Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 * for details. All rights reserved. Use of this source code is governed by a
 * BSD-style license that can be found in the LICENSE file.
 */
/**
 * @assertion double operator *(num other)
 * @description Checks that if one operand is a finite nonzero double and other
 * is infinite the result is infinite. The result is positive when operands
 * have the same sign, negative otherwise.
 * @author pagolubev
 * @reviewer msyabro
 */
import "../../../Utils/expect.dart";


final List values = const [
   4.9406564584124654e-324, 2.2250738585072014e-308, .7, .9999999999999999, 1.0, 1.0000000000000002, 10.0,
   99.0, 99.99999999999999, 100.0, 100.00000000000001, 101.0, 6031769.5, 4.2949672959999995E9, 4.294967296E9,
   4.294967296000001E9, 4.5035996273704955E15, 4.503599627370496E15, 4.503599627370497E15, 3.273390607896142E150,
   1.7976931348623157e308
 ];

final double positiveInf = 1 / 0;
final double negativeInf = -1 / 0;

check(d) {
  Expect.isTrue(d > 0);
  Expect.equals(positiveInf, d * positiveInf);
  Expect.equals(negativeInf, d * negativeInf);

  d = -d;
  Expect.equals(negativeInf, d * positiveInf);
  Expect.equals(positiveInf, d * negativeInf);
}

main() {
  values.forEach((d) {
    check(d);
  });
}
